Melham T. F. | Buy Cheap Textbooks about Melham T. F.

Cart Sellback List Order Lookup Support

Your results for: Melham T. F.

Showing 1 - 3 of 3 Results

1.

Correct Hardware Design and Verification Methods 11th Ifip Wg 10.5 Advanced Research Working...

Correct Hardware Design and Verification Methods 11th Ifip Wg 10.5 Advanced Research Working... by Margaria, Tiziana, Melham, ... ISBN: 9783540425410 List Price: $82.95

$52.33 (Save 36%)

2.

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic by Gordon, M. J., Melham, T. F. ISBN: 9780521441896 List Price: $65.00

OUT OF STOCK

See Availability on Amazon

3.

Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification by Melham, T. F. ISBN: 9780521115322 List Price: $46.00

$43.69 (Save 5%)